منابع مشابه
Manager - Coaching the Rookie Manager
In last January’s Manager column, “Fear of Trying: The Plight of the Rookie Project Manager,” Roger Pressman asked a question critical to the future of our profession: “So, how do we grow a good project manager? What do we teach the rookie who has just been appointed to lead her first software project?” Instead of answering this question directly, Pressman focused his article on four key skills...
متن کاملEditorial: Grid Performability
Grid computing offers many scientific and commercial benefits, but also many technical and organisational challenges. This has led to many research areas in traditional distributed systems directing their efforts on to grid systems. Amongst the challenges for grid computing is the need to provide reliable quality of service to end users. Grid computing promises much for high performance computi...
متن کاملMultiprocessor Performability Analysis
Conclusions Performability models of multiprocessor systems and their evaluation are presented. Two cases in which hierarchical modeling is applied are examined. 1. Models are developed to analyze the behavior of processor arrays of various sizes in the presence of permanent, transient, intermittent, and near-coincident faults. Models can be generated for typical reconfiguration schemes that co...
متن کاملModel Checking Performability Properties
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a formally-specified system. In recent years, we have extended CTL such that it allows for the specification of properties over finite-state continuous-time Markov chains (CTMCs). Computational techniques for model chec...
متن کاملDependability and Performability Analysis
In this tutorial, we discuss several practical issues regarding specification and solution of dependability and performability models. We compare model types with and without rewards. Continuous-time Markov chains (CTMCs) are compared with (continuous-time) Markov reward models (MRMs) and generalized stochastic Petri nets (GSPNs) are compared with stochastic reward nets (SRNs). It is shown that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Network
سال: 1994
ISSN: 0890-8044
DOI: 10.1109/65.260070